Dividing lines in unstable theories and subclasses of Baire 1 functions

We give a new characterization of $SOP$ (the strict order property) in terms the behaviour formulas any model theory as opposed to having look at indiscernible sequences inside saturated ones. refine theorem Shelah, namely has $OP$ if and only it $IP$ independence or $SOP$, several ways by characterizing various notions functional analytic style. point out some connections between dividing lines first theories subclasses Baire 1 functions, characterizations classes theories.